Functions to Obtain Induced Maps

ProjectiveMap InducedProjective(void)

Only valid if this map is an invertible affine map between full affine subsets of affine spaces. This routine returns the corresponding projective map between the neighboring projective completion spaces.

LinearMap InducedLinear(void)

Only valid if this map is an affine map between full affine subsets of affine spaces. This routine returns the corresponding linear map between the neighboring linearization spaces.

LinearMap Trans(void)

Returns the transpose of this map. Only valid if this map is a linear map between full linear subsets of vector spaces.

LinearMap AssocLinear(void)

If this is an affine map from an affine subset of an affine space to an affine or linear subset of a linear or affine space, this routine returns the map induced on the tangent space of the domain space.

Vector AssocDualVector(void)

If this map is an affine functional (i.e. an affine map into the reals), this function returns the vector in the dual of the tangent space corresponding to the associated linear map.